Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis
نویسندگان
چکیده
منابع مشابه
Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis
We contribute to recent efforts in relating two approaches to automatic synthesis, namely, automated planning and discrete reactive synthesis. First, we develop a declarative characterization of the standard “fairness” assumption on environments in non-deterministic planning, and show that strong-cyclic plans are correct solution concepts for fair environments. This complements, and arguably co...
متن کاملTowards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis
Whereas previous work on non-deterministic planning has focused on characterizing (and computing) “loopy” but “closed” plans, we look here at the kind of environments that these plans are to be executed in. In particular, we provide a logical characterization of the standard “fairness” assumption used, and show that strong cyclic plans are correct solution concepts for fair environments. We arg...
متن کاملBehavior Composition as Fully Observable Non-Deterministic Planning
The behavior composition problem involves the automatic synthesis of a controller able to “realize” (i.e., implement) a target behavior module by suitably coordinating a collection of partially controllable available behaviors. In this paper, we show that the existence of a composition solution amounts to finding a strong cyclic plan for a special nondeterministic planning problem, thus establi...
متن کاملComputing Contingent Plans via Fully Observable Non-Deterministic Planning
Planning with sensing actions under partial observability is a computationally challenging problem that is fundamental to the realization of AI tasks in areas as diverse as robotics, game playing, and diagnostic problem solving. Recent work on generating plans for partially observable domains has advocated for online planning, claiming that offline plans are often too large to generate. Here we...
متن کاملPlanning for Partially Observable, Non-Deterministic Domains
From 12.06.05 to 17.06.2005 the Dagstuhl Seminar 05241 Synthesis and Planning was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 2018
ISSN: 1076-9757
DOI: 10.1613/jair.5562